two column proofs

visit shbcf.ru